$\forall$$a$:Id. AtomFree(\{$x$:Id$\mid$ $x$ $=$ $a$ \};$a$)